Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Source URL: www.vldb.org

1 Securing Augmented Reality Output Kiron Lebeck, Kimberly Ruth, Tadayoshi Kohno, Franziska Roesner Paul G. Allen School of Computer Science & Engineering University of Washington

Source URL: www.ieee-security.org

• Humancomputer interaction
• Reality
• Computing
• User interface techniques
• Augmented reality
• Mixed reality
• Virtual reality
• Multimodal interaction
• Microsoft HoloLens
• Head-mounted display
• Internet privacy
• JavaScript

Argumentation-based collaborative intelligence analysis in CISpaces Alice TONIOLO a , Timothy DROPPS b , Robin Wentao OUYANG c , John A. ALLEN b , Timothy J. NORMAN a , Nir OREN a , Mani SRIVASTAVA c , and Paul SULLIVAN

Source URL: comma2014.arg.dundee.ac.uk

Puddle: An Operating System for Reliable, High-Level Programming of Digital Microfluidic Devices Max Willsey, Luis Ceze, Karin Strauss and the MISL group Paul G. Allen School for Computer Science and Engineering Universi

Source URL: mwillsey.com

DA-RNN: Semantic Mapping with Data Associated Recurrent Neural Networks Yu Xiang and Dieter Fox Paul G. Allen School of Computer Science & Engineering University of Washington {yuxiang, fox}@cs.washington.edu

Source URL: yuxng.github.io

Computer Security and Privacy for Refugees in the United States Lucy Simko∗ , Ada Lerner† , Samia Ibtasam∗ , Franziska Roesner∗ and Tadayoshi Kohno∗ ∗ Paul G. Allen School of Computer Science & Engineering

Source URL: www.franziroesner.com

Reapplication of SetCoLa Specifications for Biological Networks Jane Hoffswell, Alan Borning, and Jeffrey Heer Paul G. Allen School of Computer Science & Engineering, University of Washington In our paper, we showed how

Source URL: idl.cs.washington.edu

Paul Allen Miller : Hadrian’s Practice of Freedom: Yourcenar, Beauvoir, and Foucault. This article contends that there is a debate in postwar France about the nature of freedom. It argues that an important nexus of t

Source URL: eugesta-revue.univ-lille3.fr

Program Synthesis as a Generative Method Eric Butler Paul G. Allen School of Computer Science and Engineering University of Washington

Source URL: www.ericbutler.net

Synthesizing Interpretable Strategies for Solving Puzzle Games Eric Butler Paul G. Allen School of Computer Science and Engineering

Source URL: homes.cs.washington.edu